Specifying Real-time Behaviour in Distributed Software Architectures
نویسندگان
چکیده
Over the last few years, there has been considerable research in the area of Software Architecture. However, relatively little attention has been paid to the specification of real-time properties of such architectures. This paper presents the Xelha architectural description language which is intended to overcome this deficiency. The language offers both a task model and a resource model. The former models component interactions as tasks with associated pools of resources. The latter provides hierarchies of abstract resources. In addition, the use of object-oriented typing allow us to introduce some dynamism to architecture specifications. Finally, Xelha provides support for the specification of both static QoS management (i.e. desired level of QoS) and dynamic QoS mangement (i.e. mechanisms to attain the contracted level of QoS).
منابع مشابه
Specifying Dynamic Software Architectures for Distributed Systems
Open and dynamic characteristics of distributed software systems make user requirements and hardware resources change more rapidly, which make their evolution or reconfiguration inevitable, especially during their execution. A critical issue for those distributed systems is the specifying and analysis dynamic reconfiguration process of their architectures. In this paper, we proposed a method of...
متن کاملSpecifying Distributed Software Architectures
There is a real need for clear and sound design speci cations of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language ...
متن کاملModelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a components-based approach. Moreover, with this case study we assess and understand the issues of real time, fault tolerance, scalability, extensibility, distributed execution and ada...
متن کاملPeter Kearney Specification Issues for Real - Time Behaviour of RISC Processors
This report presents an overview of some of the main issues relevant to the task of specifying the real-time behaviour of various commercially available RISC architectures. These issues were investigated during the rst stage of a project to formally verify the real-time behaviour of interrupt-driven code for a modern RISC architecture. Part of this rst stage was to select an architecture for in...
متن کاملEvaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures
This paper presents an evaluation study of Architecture Description Languages (ADL) which allows to compare the expressive power of these languages for specifying the dynamicity of software architectures. Our investigation enabled us to release two categories of ADLs: configuration languages and description languages. Here, we address both categories, and we focus on two aspects: the behaviour ...
متن کامل